Browsing by Author "Cabasino, M. P."

Now showing items 1-10 of 10

    • Article  

      Fault model identification and synthesis in Petri nets 

      Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N.; Seatzu, C. (2015)
      Fault identification studies in the Discrete Event Systems literature are typically model-based and require knowledge of the structure of the system, including the nature (and behavior) of the possible faults. In this paper ...
    • Conference Object  

      Fault model identification with petri nets 

      Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N.; Seatzu, C. (2008)
      Most of the fault identification problems in the Discrete Event Systems literature assume knowledge of the structure of the net system, including the nature (and behavior) of the possible faults. In this paper we deal with ...
    • Conference Object  

      Initial marking estimation in labeled Petri nets in a probabilistic setting 

      Cabasino, M. P.; Hadjicostis, Christoforos N.; Seatzu, C. (Institute of Electrical and Electronics Engineers Inc., 2014)
      Given a labeled Petri net with silent (unobservable) transitions, we are interested in performing initial marking estimation in a probabilistic setting. We assume a known finite set of initial markings, each with some a ...
    • Article  

      Marking observer in labeled petri nets with application to supervisory control 

      Cabasino, M. P.; Hadjicostis, Christoforos N.; Seatzu, C. (2017)
      In this paper, we consider the problem of marking estimation in labeled Petri nets whose initial marking is known to belong to a given convex set, in the presence of silent transitions (i.e., transitions labeled with the ...
    • Conference Object  

      Marking observer of labeled petri nets with uncertainty in the initial marking 

      Cabasino, M. P.; Seatzu, C.; Hadjicostis, Christoforos N. (2013)
      In this paper we consider marking estimation in labeled Petri nets whose initial marking is known to belong to a given convex set. We allow for silent transitions (i.e., transitions labeled with the empty word) and ...
    • Conference Object  

      Probabilistic marking estimation in labeled petri nets 

      Cabasino, M. P.; Hadjicostis, Christoforos N.; Seatzu, C. (Institute of Electrical and Electronics Engineers Inc., 2013)
      Given a labeled Petri net, possibly with silent transitions, we are interested in performing current marking estimation in a probabilistic setting. We assume a known initial marking or a known finite set of initial markings, ...
    • Article  

      Probabilistic marking estimation in labeled petri nets 

      Cabasino, M. P.; Hadjicostis, Christoforos N.; Seatzu, C. (2015)
      Given a labeled Petri net, possibly with silent (unobservable) transitions, we are interested in performing marking estimation in a probabilistic setting. We assume a known initial marking or a known finite set of initial ...
    • Conference Object  

      State feedback control of labeled Petri nets with uncertainty in the initial marking 

      Cabasino, M. P.; Hadjicostis, Christoforos N.; Seatzu, C. (Institute of Electrical and Electronics Engineers Inc., 2014)
      In this paper we consider the problem of designing a state feedback controller for a labeled Petri net whose initial marking is known to belong to a given convex set. We allow for silent transitions (i.e., transitions ...
    • Article  

      Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications 

      Ru, Y.; Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N. (2014)
      In this paper, we consider the forbidden state problem in discrete event systems modeled by partially observed and partially controlled Petri nets. Assuming that the reverse net of the uncontrollable subnet of the Petri ...
    • Conference Object  

      Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications 

      Ru, Y.; Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N. (2008)
      In this paper, we consider the forbidden state problem in discrete event systems modeled by Petri nets with uncontrollable and/or unobservable transitions. To handle the interleaving of uncontrollable and unobservable ...